logic n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
tree n. 特里〔姓氏〕。 n. 1.树〔主要指乔木,也可指较大的灌木〕。 ★玫瑰可以称为 bush, 也可以称为 tree. 2.木料,木材;木构件;〔古语〕绞首台;〔the tree〕(钉死耶稣的)十字架;鞋楦。 3.树形(物),世系图,家系 (=family tree);【数学】树(形);【化学】树状晶体。 a banana tree 香蕉树。 an axle-tree 心棒,轴料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提树。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣经】知道善恶的树,智慧之树。 tree of life 生命之树,生命力的源泉【植物;植物学】金钟柏。 up a tree 〔口语〕进退两难,不知所措。 vt. 赶(猎兽等)上树躲避;〔口语〕使处于困境;穷追;把鞋型插入(鞋内)。
The model dmswf focuses on procedure definition with a certain subject, procedure modeling based on finite automation and resource model figured as logic tree 其中包括具有主题意义的过程定义、基于有穷状态机的过程建模以及逻辑树表示的资源模型等。